Embedding Formal Techniques into Industrial Product Development Experiences with the DESTECS approach Marcel Verhoef Chess eT International B.V.

Source URL: fm2012.cnam.fr

• Prevention
• Systems science
• Dependability
• Embedded system
• Fault injection
• Fault-tolerant system
• Simulation
• Control engineering
• Computing
• Model-based design

NCR Web Port Looking to lower costs and provide a consistent customer experience? Using your existing web check-in for kiosks

Source URL: www.ncr.com

• Computer hardware
• System software
• Interactive kiosk
• Universal Serial Bus
• Kiosk software
• Windows XP
• AirPort
• Computing
• NCR Corporation
• Embedded systems

Synopsys Hybrid Prototyping Solution `` Integrates Virtual and FPGA-Based Prototypes `` Start multicore SoC prototyping earlier

Source URL: www.synopsys.com

• Field-programmable gate array
• Synopsys
• SystemC
• Prototype
• Embedded system
• Catapult C
• Hardware emulation
• Electronic engineering
• Electronic design automation
• FPGA prototype

Power(full) framework based on Driver Model Przemyslaw Marczak Samsung R&D Institute Poland Embedded Linux Conference Europe Düsseldorf, 13-th October, 2014

Source URL: www.denx.de

• Embedded system
• Electronics
• Electronic engineering
• Device drivers
• Software
• Power Management IC
• Odroid
• I²C

Teaching Operating Systems Using Android

Source URL: www.cs.columbia.edu

• Android
• Embedded Linux
• Smartphones
• Android software development
• Google
• Mobile operating system
• Mobile application development
• Linux
• Operating system
• Software
• Computing
• System software

EMSOFT 2015: Call for Papers The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, a

Source URL: www.emsoft.org

eXtremeDBÔ Standard Edition High-performance, low footprint main memory database system for embedded devices. Product Datasheet

Source URL: www.ars2000.com

• Computing
• In-memory database
• Database
• Extensible Storage Engine
• Ring
• Data
• EXtremeDB DBMS
• Database management systems
• Data management
• Embedded databases

Keith & Koep GmbH www.xjtag.com Keith & Koep GmbH increases productivity and quality using XJTAG

Source URL: www.xjtag.com

• Electronic engineering
• Joint Test Action Group
• Boundary scan
• Functional testing
• Scan chain
• Automated X-ray inspection
• Embedded system
• Manufacturing
• Electronics manufacturing
• Electronics

The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡

Source URL: www.barnowl.org

• Technology
• Object-oriented programming
• TinyOS
• NesC
• Component-based software engineering
• Embedded system
• Kernel
• Communications protocol
• Concurrency control
• Computing
• Software engineering
• Wireless sensor network

Backplane Systems Remain the Workhorse of Industry Automotive Systems Move to Software Standards Multi-Level SSDs Move into Mobile and Rugged

Source URL: files.rtcgroup.com

• Semiconductor companies
• Computer buses
• Microprocessors
• Power Architecture
• Supermicro
• Multi-core processor
• Advanced Micro Devices
• Intel
• Embedded system
• Computer hardware
• Computing
• Technology